]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4b8a4b) | patch
windowMenu: Animate menu
authorGB_2 <bfeber@protonmail.com>
Thu, 12 Sep 2019 16:01:46 +0000 (16:01 +0000)
committerFlorian Müllner <florian.muellner@gmail.com>
Thu, 12 Sep 2019 16:01:46 +0000 (16:01 +0000)
commit4525ad346d226ebeb2f4fe645bb44fb95691fa0d
treeabbb324ed6c1c14252651623481bfe4565880fbbtree | snapshot
parente4b8a4b432f78dbdcf1421cf396550d61a1313dfcommit | diff
windowMenu: Animate menu

Most menus have an animation, so add one to the window menu for
consistency and better looks (like !712).

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/717
js/ui/windowMenu.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.